Nuprl Definition : universe def 13,42
Type is Primitive 
latex

clarification:

Type{i} is Primitive 
latex

Upcore 1, core 1
DefinitionsType
FDL editor aliasesuniv

origin